Claude Vincenot, Précis de grammaire logique

Grammaire de Ramanujan et arbres de Cayley

— We study three sequences of polynomials defined as successive derivatives with respect to a differential operator associated with a grammar (one of these sequences was originally introduced by Ramanujan). Combinatorial interpretations for these polynomials are found in terms of rooted trees and graphs of mappings from [n] to [n]. Introduction Dans [Ra], [B], Ramanujan (et B. Berndt à sa suite...

L'Idee De Grammaire Avec Le Contexte Naturel

Commonly used gralm~mrs which describe i~turai lan~uages /ex. ATN, Metamorphosis Grammars/ can be hardly applied in describing higly inflectional languages. So I propose a grammar called the grammar with natural context which takes into consideration properties of higly inflectional languages /ex. Polish / as well as structural languages /ex. English/. I introduce its normal form.

Le legs de Claude Bernard

The French noun Legs can be translated either as "legacy" or as "bequest". The title of the present volume implies both meanings. The book is, in one sense, an interpretation of the legacy left to posterity by the experimental discoveries and the thoughts of the famous nineteenth-century French physiologist, Claude Bernard. But the word refers also to the bequest that Bernard left to future sch...

Complexité de la réduction en logique combinatoire

Un Principe de Résolution en Logique Modale

— The applications of modal logic are connected with programming reasoning and for this reason we are interested in developping theorem proving System for it. A resolution-style theorem proving System for modal logic is presented. The two version of Herbrand property are proved. The completeness of the System is given. Nous présentons dans cet article une formalisation des modalités de re parfa...